Promote gf14 selfconsistent -> strict SW-bitexact (independent 2nd witness, 62->63/83)#1231
Merged
Merged
Conversation
…3/83) Closes #1230 gf14 переходит из bitexact_selfconsistent в строгий SW-bitexact. Добавлен независимый второй декодер conformance/gf14_independent_witness.py (с нуля по параметрам каталога SSOT s=1 e=5 m=8 bias=15 u16, fractions.Fraction, abs_error=0). По всем 14 векторам: generator == независимый свидетель, 0 расхождений. Гейты локально: Check C sha OK (drift 0); gf14 не в failures; failure-set идентичен master; selfconsistent selftest 13/0; catalog count 83==83; INDEX bitexact 62->63, selfconsistent 6->5.
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
Satisfies check-now-freshness gate (every PR must touch docs/NOW.md, issue #141). Conformance gate unchanged: Check C sha OK, failure-set identical to master.
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
PR DashboardGenerated at: 2026-06-30 19:01:05 UTC
Summary
Seal Status
|
This was referenced Jun 30, 2026
This was referenced Jul 1, 2026
gHashTag
added a commit
that referenced
this pull request
Jul 1, 2026
The check-now-freshness job validated docs/NOW.md 'Last updated' against the UTC window [YESTERDAY_UTC .. TODAY_UTC], producing a systematic false-negative for east-of-UTC contributors (maintainer is UTC+07): a local 'today' date is rejected as 'too old' while UTC is still on the previous day. Observed on PR #1231 (NOW.md=2026-07-01, UTC=2026-06-30), which blocked the stacked conformance-promote chain #1231 -> #1233. Widen the window to [YESTERDAY_UTC .. TOMORROW_UTC]: tomorrow is accepted so any east-of-UTC local 'today' passes; older-than-yesterday still fails (stale-NOW protection); newer-than-tomorrow still fails (typo protection); a missing 'Last updated:' line now fails with a clear message. ISO-8601 zero-padded dates compare correctly as strings. CI/workflow-only; catalog stays 83; no spec or conformance vector touched. Closes #1234 Co-authored-by: gHashTag <admin@t27.ai>
…omote-gf14-bitexact # Conflicts: # docs/NOW.md
…omote-gf14-bitexact # Conflicts: # conformance/vectors/INDEX_all_formats.json # docs/NOW.md
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
PR DashboardGenerated at: 2026-07-01 11:58:45 UTC
Summary
Seal Status
|
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #1230
Что
gf14 переходит из bitexact_selfconsistent в строгий SW-bitexact. Добавлен НЕЗАВИСИМЫЙ второй декодер
conformance/gf14_independent_witness.py.Доказательство (2-й независимый закон decode, без переиспользования генератора)
fractions.Fraction(abs_error == 0, не float-приближение);Гейты (локально, до push)
wp18_conformance_gate: Check C sha freshness OK (drift 0); gf14 НЕ в failures; verdict/failure-set ИДЕНТИЧНЫ master (единственный E-fail = предсуществующий gf16 allowlist, не связан);wp18_gate_selfconsistent_selftest: 13 PASS / 0 FAIL;check_catalog_count: 83 == 83;Honesty
Фиксированный детерминированный bit-layout + независимый 2-й свидетель + abs_error=0 -> строгий bitexact (НЕ selfconsistent). Сами 14 векторов не менялись (только метаданные kind + sha + независимый witness-скрипт).